Semi-Automatic Garbage Collection for Mobile Networks
نویسندگان
چکیده
Mobile networks pose new issues in the field of distributed garbage collection. Garbage collection must deal with volatile connections that may break remote object references unexpectedly for an unpredictable amount of time. As a result, no automatic distributed garbage collection satisfies the new hardware phenomena. A semantic-based approach called semi-automatic garbage collection is proposed as a new strategy for distributed garbage collection where the collector will be steered by the developer to decide whether remote objects can be reclaimed. We investigate how to transmit the needs of the application to the garbage collection process.
منابع مشابه
Semi-Automatic Garbage Collection for Ambient Intelligence
The recent advances in the field of Ambient Intelligence (AmI) have raised a new generation of distributed applications with sophisticated characteristics. AmI applications are distributed among mobile devices interconnected by wireless communication media that allow them to interact spontaneously with other devices the environment forming mobile ad hoc networks. Although many distributed garba...
متن کاملDesigning and Developing Automatic Trolley for Washing and Dressing the Wounds
Introduction: Many items are needed for dressing including sterile dressing set, antiseptic and washing solutions, leucoplast tape, waste bin for infectious garbage, waste bin for noninfectious garbage, safe disposal trash for sharp cutting instruments, bedpan and sometimes drugs. All the items are laid out on a simple wheeled trolley. The multiplicity of items together with problems in placin...
متن کاملSemi-automatic Proofs about Object Graphs in Separation Logic
Published correctness proofs of garbage collectors in separation logic to date depend on extensive manual, interactive formula manipulations. This paper shows that the approach of symbolic execution in separation logic, as first developed by Smallfoot, also encompasses reasoning about object graphs given by the reachability of objects. This approach yields semi-automatic proofs of two central g...
متن کاملDistributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach
Automatic distributed garbage collection (GC) gives abstraction to grid application development, promoting code quality and improving resource management. Unreachability of active objects or actors from the root set is not a sufficient condition to collect actor garbage, making passive object GC algorithms unsafe when directly used on actor systems. In practical actor languages, all actors have...
متن کاملScalable Distributed Garbage Collection for Systems of Active Objects
Automatic storage management is important in highly parallel programming environments where large numbers of objects and processes are being constantly created and discarded. Part of the difficulty with automatic garbage collection in systems of active objects, such as actors, is that an active object may not be garbage if it has references to other reachable objects, even when no other object ...
متن کامل